$(document).ready(function(){
    $(".pagejump").keydown(function(){
        if(event.keyCode==13) {
            url = $(this).attr("data-url");
            window.location=url+"page="+this.value;
        }
    })
    if(typeof(js_set) !== "undefined" && js_set){
        $.each(js_set, function(k,v){
            $("[name='"+k+"']").val(v);
        })
    }
})